例句與造句

1. Many languages with static type checking provide a way to bypass the type checker.
2. Conversely, a static type checker will quickly detect type errors in rarely used code paths.
3. In addition software testing is an empirical method for finding errors that the type checker cannot detect.
4. An experimental optional static type checker named " mypy " supports compile-time type checking.
5. For the compiler implementer, Java wildcards raise issues with type checker termination, type argument inference, and ambiguous programs.
6. It's difficult to find type checker in a sentence. 用type checker造句挺難的
7. Most type-safe languages include some form of dynamic type checking, even if they also have a static type checker.
8. FDR2 has been succeeded by FDR3, a completely re-written version incorporating amongst other things parallel execution and an integrated type checker.
9. It has been succeeded by FDR3, a completely re-written version incorporating amongst other things parallel execution and an integrated type checker.
10. Thus, many languages will have both static and dynamic type checking; the static type checker verifies what it can, and dynamic checks verify the rest.
11. A programming language compiler can also implement a " dependent type " or an " effect system ", which enables even more program specifications to be verified by a type checker.
12. Liskov's work in this area focused on behavioral subtyping, which besides the type system safety discussed in this article also requires that subtypes preserve all undecidable, so it cannot be verified by a type checker.
13. Division by zero is an unsafe and incorrect operation, but a type checker running at compile time only doesn't scan for division by zero in most languages, and then it is left as a runtime error.
14. Because it must consider mutable objects, the ideal notion of subtyping defined by Liskov and Jeannette Wing, called behavioral subtyping is considerably stronger than what can be implemented in a type checker . ( See Function types below for details .)
15. Even if the expression always evaluates to true at run-time, most type checkers will reject the program as ill-typed, because it is difficult ( if not impossible ) for a static analyzer to determine that the else branch will not be taken.
16. In some languages, an inaccessible but visible member may be referred to at run-time ( for example, by a pointer returned from a member function ), but an attempt to use it by referring to the name of the member from client code will be prevented by the type checker.
更多例句：  下一頁(yè)